Proofs that Really Count