Robs Proofs