is mentioned
In prior sections: mb list 1 list 1 mb basic mb automata 1
Try larger context: GenAutomata
"?" ; h.t h