//depthmind_proof