DFA union suspended, DFA intersection redefined