Type the second lemma to be compared.