Proofs as bearers of mathematical knowledge