Acceptable Proofs