Create Proof.R