Create example2.proof