add a bit about the left-recursive parser.