another stab at Lemma 4.1