论·批判者

论曰：文欲使已明之事离开推理，入于结构，其意可解。然依赖既写入Graph，足以定其执行之序，未足自证所定为真。作者已列“得到验证”一环，亦言新未知当复交Agent；所未详者，何者有权确认，旧据何时失效，误判既成结构又如何撤销？若此界未明，重复揣度虽减，先前之误亦可能循序而行。后来当观其验证与撤销之法，能否同其推进之法并立。