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