The Domain of DFA1