UI state machines help you reason about impossible states. We’ll build a simple flow and show how tests become clearer.