इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें मार्टिन-लोफ ने अपने प्रस्ताव को कुछ बार संशोधित किया है; उनके प्रारंभिक, अप्रत्याशित सूत्र असंगत थे जैसा कि गिरार्ड के विरोधाभास द्वारा प्रदर्शित किया गया था, और बाद के सूत्र भविष्यवाणी थे ।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "मार्टिन-लोफ ने अपने प्रस्ताव को कुछ बार संशोधित किया है; टाइप थ्योरी के पहले इम्प्रेडिकटिव और फिर प्रेडिकटिव, और पहले एक्सटेंशनल और फिर इंटेंशनल वेरिएंट का प्रस्ताव दिया है। "