Proofs That Really Count