more instances and mutable automata