. "Things such as checking that probabilities numerically sum to" . . .