Are proofs examinable?