re-write of CycleMP proofs