reduce pages by restructuring figures and moving proof of lemma to supplimentary