ruction to use a lemma - could be as a tangent or mixing in to generators if mixing in just call ConsiderTerms">UseLemma</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$UseLemmaDistribution.html" title="instruction to use a distribution of lemmas - could be as a tangent or mixing in to generators if mixing in just call ConsiderTerms" class="class"></a><a href="HoTTMessages$$UseLemmaDistribution.html" title="instruction to use a distribution of lemmas - c