shoedog

Use when: correctness depends on invariants or constraints that can be tested.