Type the first lemma to be compared.