Choose a lemma: