Adds more groundwork for the DFA