Finish up the part about how nesting reduce the number of required grammar terminals, somewhat