vyaktibhyo hi jātyādayaḥ kadācid avytiriktā vyatiriktā vā vyatiriktāvyatiriktatvenobhayātmāno vā /
For universals etc. must either be non-different from particulars, or different [from them], or both different and non-different.