तो, जहां ना Y, ना X, तो वे ठीक है; वहां है Y, वहां है X, वह भी ठीक है; ना Y, लेकिन वहां X है, बेबी ठीक है, पर चौथा टाइप जहां Y है, पर X नहीं है, वह खारिज हो जाता है।
எனவே, எந்த Y, X-ம் இல்லை, அது சரி; Y உள்ளது, X உள்ளது, அதுவும் சரி; Y இல்லை, ஆனால் X உள்ளது, அதுவும் சரி, ஆனால் நான்காவது வகை Y இருக்கும், ஆனால் X இல்லை, பின்னர் அது நிராகரிக்கப்படுகிறது.