Create PROOF.md