is mentioned
In prior sections: mb collection mb automata 1 mb automata 2
Try larger context: GenAutomata
a 
x b