Precondition
Hey you weasel
Postcondition
Execution completed