Move past hand-picked examples. Specify invariants, let a generator hunt counterexamples, and pair the discipline with agents that propose the properties you missed.