Do one of the proofs