לפני שמכונה יכולה לשפוט את העולם האמיתי באופן דטרמיניסטי, עליה לסגור את אותו עולם באופן מפורש: להעריך Claims פתוחים, להטיל Accepted Facts לתוך גרף הניתן למעקב, להקפיא את הגבול, ולשמר מסלול לערעור.
