Here's a complete but unreadable model that captures the preceding ideas. (Clearly, to be usable, the idea will be to only show users the "valid next state" choices.) It gives us an idea of what new states to define.
