In prior sections: det automata