Comment by npsimons

> Show me a program that has no bugs and I'll show you a program that does nothing at all!

"Every program has at least one bug and can be shortened by at least one instruction -- from which, by induction, one can deduce that every program can be reduced to one instruction which doesn't work."