State Machine Diagram Explained