Title: Proofs that Really Count