इस वाक्य का अधिक जटिल संस्करण उत्पन्न करें L -- पूर्ण है (ऊपर दिए गए स्वयंसिद्धों के तहत) जब भी \\ अल्फा अनुपलब्ध है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "एल - जब भी \\ अल्फा दृढ़ता से कॉम्पैक्ट होता है (क्योंकि इन तर्क में प्रमाण दिए गए स्वयंसिद्धों के \\ अल्फा या अधिक का उपयोग नहीं कर सकते हैं) ।"