Pessimistic proofs