पेपर 61-62 सभी समान स्तर और अदृश्य ग्राउंडिंग उम्मीदवारों को बाहर करता है: प्रेत (पेपर 61), syntax, वस्तु-स्तरीय semantics, समान-स्थिति बाहरीकरण, और आत्म-actualizing ledger (पेपर 62)। पेपर 63 यह साबित करता है कि वास्तविकता को ग्राउंड की आवश्यकता होती है (थ्योरम 63.0) नो-फ्री-बिट मशीनरी से (पेपर 27, 61): बिना ग्राउंड वाली वास्तविकता ओन्टोलॉजिकल स्तर पर एक निर्धारिता-संबंधित मुफ्त बिट होगी। इससे हम अल्फा थ्योरम निकालते हैं: यदि गैर-तुच्छ परावर्ती वास्तविकता मौजूद है, तो इसकी वास्तविकता का एक आवश्यक पूर्व-श्रेणी ओन्टोलॉजिकल ग्राउंड होना चाहिए। हम इस ग्राउंड को अल्फा कहते हैं। परावर्ती-समापन-झुकाव में पुस्तकालय 0 क्षमा करें, उस पुस्तकालय के लिए सूट मान पर 0 कस्टम अक्सिओम हैं। ट्रस्ट सीमा। "अल्फा" यहाँ स्क्वीज़ से औपचारिक भूमिका है - थ्योरम वक्तव्यों में एक आयातित धार्मिक या ध्यानशील लेबल नहीं।
नोवा स्पिवैक (सन,) ने इस प्रश्न का अध्ययन किया।