dfa is working.