Green tests != proven code

Let me just say this slowly.... Simply because your tests 'pass' does not mean your code has been proven correct or that it works.