LEMMA.