> The code will reveal the corner cases to you; you will think of things you didn't think of before writing the code.

The step of putting propositions into a proper form such that tests can be written against them is arguably half the benefit.

https://en.m.wikipedia.org/wiki/Well-formed_formula