Hard

Implement the missing transition logic in this state machine:

Choose an option below