检定具有必须执行必须做出的结论