यह स्थिति पत्र सैद्धांतिक स्तर की स्वतः-प्रारूपीकरण का समर्थन करता है, जिसमें व्यक्तिगत कथनों पर ध्यान देने के बजाय पूर्ण सिद्धांतों को संरचित पुस्तकालयों के रूप में प्रारूपीकृत करना शामिल है।
लेखक अलग-अलक प्रमेय अनुवाद से पूरे अक्षiom, परिभाषाओं और लेमन के जाल का प्रबंधन करने की ओर इस बदलाव के महत्व का परीक्षण करते हैं। वे वैकल्पिक दृष्टिकोणों को संबोधित करते हैं और इस क्षेत्र में खुले चुनौतियों की पहचान करते हैं।
क्षेत्र को आगे बढ़ाने के लिए, लेखक सैद्धांतिक स्तर की स्वतः-प्रारूपीकरण के लिए तीन प्रगतिशील मार्गों का सुझाव देते हैं।