Jeder Satz ist die Anweisung auf einen Beweis || eine Verifikation.