Checking precondition
Execution completed