Ad proofs