Rogers Proofs