Beware of bugs in the above code; I have only proved it correct, not t — Debugging

"A documented bug is not a bug; it is a feature."

"If debugging is the process of removing bugs, then programming must be the process of putting them in."

"Testing can only prove the presence of bugs, not their absence."

"Much to the surprise of the builders of the first digital computers, programs written for them usually did not work."

"bug, n: An elusive creature living in a program that makes it incorrect. The activity of "debugging", or removing bugs from a program, ends when people get tired of doing it, not when the bugs are removed."

"Everyone knows that debugging is twice as hard as writing a program in the first place. So if youre as clever as you can be when you write it, how will you ever debug it?"