> Even if you have a mathematical proof that your software is correct, it's still only correct given certain assumptions taken as axioms in the proof. Violate those axioms and your software can't be held responsible.

"Beware of bugs in the above code; I have only proved it correct, not tried it." - knuth