is mentioned
In prior sections: bool 1 num thy 1 mb label mb automata 2 mb automata 3
Try larger context: GenAutomata
q == if p
true else q fi