Recently, a close friend - who also happens to be a tester @ M$ - brought this post by Joel of Fog Creek Software fame to my attention: "It occurred to me that when you have a proof that goes on for pages and pages, it’s far more likely to contain errors
