That is implicational universal would give you the first type since there is no Y there is no X; type II.
इसका मतलब है की implicational universal आपको पहला टाइप देगा क्योंकि वहां कोई Y नहीं है, वहां कोई X नहीं है; टाइप II।