 Gaṅgeśa’s definition is supposed to solve a problem concerning inferences about non-locus-pervading properties, such as a monkey-conjunction in a tree, a case on which many of the rejected definitions floundered. “This tree possesses a monkey-conjunction, since it is this tree (which always has monkeys)” is a good inference even though the tree at its roots has the ruled-out sort of counterpositive according to the definition. Inferences involving conjunctions are ruled in if the \(S\) is a property that while not present at \(l\) along with the \(H\) in some specified portion of \(l\) is not so overall, that is, at or in all portions of \(l\). The location \(l\) would be something that is indeed \(S\) in some portion, as a tree does have a monkey in its branches though not at its roots.