6.4.2 限定推理