wenn Vorbedingung erfüllt und P ausgeführt wird, dann gilt schließlich Nachbedingung
wenn Vorbedingung gilt, dann ist P tatsächlich komplett ausführbar und es gilt schließlich die Nachbedingung
für Schleifen: