Es wird niemals einen Algorithmus geben, der alle Fehler in einem Vertrag findet.