Nachbedingung

English translations

1. 01

   postcondition

2. 02

   aftercondition