Covering work from What is a State Machine and Setting up the State Machine