8.1.1 正确性的概念