> 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 p

> 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 https://en.m.wikipedia.org/wiki/Well-formed_formula