Fundamentals of Programming in Python

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

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

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