Proof Control