Do Proofs Show Everything But The House