Should probably capitalize Automaton here.