Hier is een goede regel voor codecorrectheid. Alle code die je niet hebt getest, is fout. Alle code die je hebt getest, is ook fout, maar lijkt toevallig te werken. En code die je correct hebt bewezen, doet het verkeerde, correct.
33