working on nonterminals now