Hier ist eine gute Regel zur Korrektheit von Code. Jeder Code, den Sie nicht getestet haben, ist falsch. Jeder Code, den Sie getestet haben, ist ebenfalls falsch, funktioniert aber zufällig. Und Code, den Sie als korrekt erwiesen haben, macht das Falsche, korrekt.