 In Gelukpa textbooks, universals and specific instances are defined in terms of each other: a universal is something instantiated by its instances, the instances are what is subsumed by a kind, or universal. To qualify as an instance, three criteria must be satisfied, namely, x is a specific instance of y if