>>18 That's the trick with theorems and automated tests and such.
You're trying to approach the thing from multiple angles.
In math maybe you start with a conjecture that's something explicit then you come around with an implicit proof.
Software is the same.