“Beware of bugs in the above code; I have only proved it correct, not tried it.”
(Donald Knuth. Még több ilyen.)
Donald Knuth egyébként az az ember, aki a TEX nevű leképzőnyelvet megalkotta, valamint megírta a “The Art of Computer Programming” című alapművet. Csak úgy mondom.