First pass clearing out proof of Lemma 22