Cut The Proof