simplification of lemma.