기계가 현실 세계를 결정론적으로 판정하려면 먼저 그 세계를 명시적으로 닫아야 한다. 열린 Claim을 평가하고, Accepted Facts를 추적 가능한 그래프로 투영하고, 경계를 동결하며, 이의를 제기할 길을 보존해야 한다.
