In prior sections: core fun 1 well fnd int 1 bool 1 rel 1 choice 1 int 2 list 1 finite sets list 3 autom exponent quot 1 relation autom languages det automata myhill nerode automata 4 automata 5