More work on Lemma