Kormos 认为循环的可信度只等于检查的可信度，定义什么算“好”是最难的部分，需要可靠的评估方式。