Precondition

..and then stop and go