adding whenever to automatons