Definition:Formal Proof