Automaton seems to work.