is mentioned

In prior sections: mb state machine

Try larger context: GenAutomata