ECSTR13x6: Begun discussion on lemma methods.