13.3.2 回溯理论与澄清知识