now really correct on automata