Delete example2.proof