 The Manual of Reason reproduces with slight simplification Gaṅgeśa’s new definition. It says that S and H are related by the pervasion relation just in case there is collocation of H with S and S is not a property the absence of which is collocated with H (hetusamānādhikaraṇātyantābhāvāpratiyogi-sādhyasāmānādhikaraṇyam vyāptiḥ; TS 50). Almost the same formulation is found in other Navya-Nyāya texts, such as the Siddhānta-muktāvali. This definition is supposed to be applicable even if the inferred property S is ‘universally positive’. The idea, roughly, is that if S pervades H then no property whose absence is collocated with H can be identical to S. If we can find an instance of a locus of smoke which is also a locus of the absence of some property, coldness say, then coldness cannot be identical with fieriness. That is: