sketched out skeleton of DFA