Denken wir an die verification von Sätzen (nicht die Befolgung von Befehlen). Denn die Rechtfertigung nach der Befolgung ist ja nur eine Verification wie jede andre. Aber: ich habe den Befehl p befolgt heißt nichts andres als, der Befehl war p und ich habe p getan.