leah's first round of revisions on CycleMP proof