old automata are gone