changes to lemma and figure