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

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 http://www-cs-faculty.stanford.edu/~knuth/faq.html