Rename myProof1 (goes inside text file) to myProof1 (text file)