Mechanically checkable rules

Replacing vague adjectives ("be careful") with categorical rules a checker could verify. Vague adjectives produce false positives.