Added DFA