DFA.py should be done