KM_PROOF_DETAIL