Soft Proofs