In prior sections: core bool 1 rel 1 int 2 list 1 finite sets list 3 autom exponent relation autom action sets det automata myhill nerode