Sarah and Mary proofs