RE: proofs