There is great wisdom in that observation, but I also enjoyed Knuth's take on the matter:

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

http://www-cs-faculty.stanford.edu/~knuth/faq.html