The meaning of proofs