Added dfa.