  The five definitions which make up Gaṅgeśa’s ‘vyāpti-pañcaka’ are all varieties of what we might dub the ‘no counter-example’ definition of the pervasion relation. This states that the inferred property S pervades the reason property H just in case there is no place/entity where H is located but S is absent. Formally: