Added the proofpreamble