Removing returns an isomorphic (apparently) automaton...