parasparaparihārasthitalakṣaṇo 'pi virodho yadya{da---}vacchedyānā{na---}ntarīyako yasya paricchedas tayor vyavasthāpyate, yathā kramākramayoḥ /
Also, contrariety characterized by mutual exclusion is established between two things where the cognition of one is invariably concomitant with the non-cognition of the other, as [in the case] of succession and simultaneity