A rule written as prose is checked by the model if it happens to remember at the right moment. The same rule written as a check runs every time, produces the same answer every time, and fails loudly instead of silently. Anything that can be mechanically verified is better off mechanical, and the prose should be reserved for judgment that genuinely cannot be automated.