Foltynewicz DFA'd