इसका मतलब है की implicational universal आपको पहला टाइप देगा क्योंकि वहां कोई Y नहीं है, वहां कोई X नहीं है; टाइप II।
அதாவது Y இல்லை என்பதால் X இல்லை என்பதை இம்ப்ளிகேஷனல் யூனிவேர்சல்ஸ் வகை I-ஐ உங்களுக்கு வழங்கும்; வகை II.