Rebecca proofs