قبل أن تستطيع آلة أن تحكم على العالم الواقعي بشكل حتمي، عليها أن تُغلق ذلك العالم صراحةً: أن تُقيّم الـ Claims المفتوحة، وتُسقط الـ Accepted Facts في graph قابل للتتبع، وتُجمّد الحدود، وتحافظ على مسار للاستئناف.
