Cond Crim proofs