DFA added.