RCM Proof Sets