Claim Lemma | AllMCPs