In prior sections: bool 1 choice 1 list 1 finite sets list 3 autom exponent quot 1 myhill nerode automata 4
b == if b
True else False fi