The same argument would apply to a good compiler. And that is exactly how I think about tests -- kind of a way of extending the compiler.