Analyzed lemma