good progress on last lemma