In: DFA