Verdi Proofs