CS 241: pluralized automaton in subsection title.