تجادل ورقة الموقف هذه لصالح الأتمتة الشكلية على مستوى النظرية، والتي تتضمن تنظير النظريات الكاملة كمكتبات منظمة بدلاً من التركيز على العبارات الفردية.
يفحص المؤلفون أهمية هذا التحول من ترجمة النظريات المعزولة إلى التعامل مع شبكات كاملة من البديهيات والتعريفات واللما. يتناولون الآراء البديلة ويحددون التحديات المفتوحة في هذا المجال.
لتطوير المجال، يقترح المؤلفون ثلاث مسارات واعدة للأمام للأتمتة الشكلية على مستوى النظرية.