In prior sections: det automata automata 4