Producing The Proof