Espresso Proofs