Proof and Cooper