Yup, exactly what you said. If you can define the system as a finite state machine do so, then define it. Much easier to reason about and if your state is co

Yup, exactly what you said. If you can define the system as a finite state machine do so, then define it. Much easier to reason about and if your state is correct you can have a high level of confidence on the robustness of your code.