[casey2]

Testing shows the presence, not the absence, of bugs. - EWD

All tests overspecialize and easy to cheat, there is no "program works" test.