Section B: State Machines