Invarianten sind einfacher zu definieren, als Fehler zu finden. Es reimt sich.