Jeder Satz ist die Anweisung auf eine Veri[v|f]ikation.