Do Proofs Show Everything