यह पत्र बताता है कि एजीएम विश्वास-परिवर्तन प्रतिमान को परिमित तर्क से परे विस्तारित करने के महत्वपूर्ण प्रयासों के बावजूद, एजीएम के गणनात्मक पहलू बड़े पैमाने पर अनदेखे रह गए हैं। हम अनंत तर्कों में एजीएम न्यूनीकरण की गणनाशीलता की जांच करते हैं और एक दिलचस्प नकारात्मक परिणाम प्रकट करते हैं: इन तर्कों में अनंत रूप से कई गणना-योग्य एजीएम न्यूनीकरण फलन मौजूद हैं। अधिक नाटकीय रूप से, हम दिखाते हैं कि वर्तमान वास्तविक मानक गणनाशीलता नियंत्रण रणनीति, जो ज्ञान अवस्था स्थान को सीमित करने पर निर्भर करती है, विफल हो जाती है और सभी अनंत मामलों में गणना-योग्यता बनाए रखती है। इन विनाशकारी परिणामों को देखते हुए, हम परिमित डोमेन से परे गणनाशीलता को नियंत्रित करने के लिए एक नए दृष्टिकोण का प्रस्ताव करते हैं। एक केस स्टडी के रूप में रैखिक लौकिक तर्क (एलटीएल) का उपयोग करते हुए, हम पूरी तरह से तर्कसंगत एजीएम न्यूनीकरण फलनों के एक अनंत वर्ग की पहचान करते हैं
