definite_proof