is mentioned
In prior sections: mb automata 1 mb automata 2 mb automata 3
Try larger context: GenAutomata