Docs of StateMachine