 The ontology of similarity is controversial. Several different theories are proposed, one of the best of which belongs to Gaṅgeśa, who sees it as a relational property supervening on other properties and defined as something’s having a lot of the same properties as something else. It is not a universal, he argues, for similarity relates a correlate (the gavaya buffalo) and a countercorrelate (the cow), whereas a universal, in contrast, rests as a unity in, for example, with cowhood, all individual cows. In this way it is like contact, samyoga, but there are also rather obvious differences. It is not reducible to any single category among the traditional seven (substance, quality, motion, universal, individualizer, inherence, and absence), for some substances are like one another as are certain qualities and actions. But similarity also is not, pace the Prābhākara, a category over and above the recognized seven. Gaṅgeśa’s main argument there is that similarity is not uniform. It is to an extent a property that is mind-imposed in that the counterpositive (the cow) is supplied from our side. Moreover, it supervenes on other properties.