is mentioned
In prior sections: bool 1 mb list 1 mb list 2 mb basic mb automata 1 mb automata 2 mb automata 3
Try larger context: GenAutomata
q == if p
q else false fi