fixed lemma.