Jeder Satz ist die Anweisung auf eine Verifikation.