is mentioned
In prior sections: bool 1 mb list 1 mb list 2 mb basic mb structures mb automata 1 mb hybrid mb automata 2 mb automata 3
q == if p
q else false fi