Test hygiene

A test earns its place by two facts: it fails when its rule breaks, and no other test already fails for that break. A test missing the first says "checked" when nothing was, which is worse than no test. A test missing the second is repeated work on every run. Both are proved the same way: break the rule on purpose and watch which tests fail.

The two failures