Upper level
State diagram for the entire logic.
Public