We desperately _want_ tests to prove our code is correct. Unfortunately, this is not possible. Instead, thinking of tests as a model is the way to make it an effective use of your time.