cycle MP proof still needs work