tathā hi dvividha eva bhāvānāṃ virodho nirūpyamāṇo 'vatiṣṭhate parasparaparihārasthitalakṣaṇo vā yathā bhāvābhāvayoḥ kramākramayor vā
For indeed, when examined, contradiction between entities stands [as being] of only two types: [either] characterized by mutual exclusion, as between existence and non-existence or between succession and non-succession.