See StateDiagram