playing with automaton properties