working on FSM documentation