Added DFA.