Doesn't need to be a special case - plus, this should be a nonterminal