ראה מסמך אמיתי עובר את כל השרשרת: הוא מסווג, שדות רגישים נאטמים בעוד מפתחות נוצרים לשאר, רק השדות המורשים מגיעים למודל שפה — שעונה — ונוצרת הוכחה בלי אף ערך רגיש. כל שלב רץ על המנוע האמיתי.