Although (MR) is discussed here as simply (CP ), in actuality (MR) is a biconditional of which one part is (CP ).