Create myProof2 (text file)