Start Step

Has the Effect label for the initial state. It thus establishes a Post-Condition.