Add GLR lemma