इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें जो मेटामैथ को इतना सामान्य बनाता है वह इसका जाँच एल्गोरिथ्म है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "जो मेटामैथ को इतना सामान्य बनाता है वह इसका जाँच एल्गोरिथ्म है, यह एल्गोरिथ्म उपयोग किए गए तर्क के बारे में बहुत कम धारणाएं बनाता है और केवल चर के प्रतिस्थापन की जांच करता है जो सही तरीके से किया जाता है। "