8.3.2 基于模型的正确性归纳推理