"Beware of bugs in the above code; I have only proved it correct, not tried it."
January 1, 1970
https://en.wikiquote.org/wiki/Debugging