forgot to mention our deviation from Lemma 5.8