Dive deeper into Finite-state machine
New Tab