 Pervasion, vyāpti, is a prover \(H\)’s having its locations shared by a probandum \(S\) so long as \(S\) when specified as the counterpositive of an absolute absence (i.e., as \(\neg S\)) has shared locations, shared with the absence of the prover (i.e., with \(\neg H\): no \(\neg S\) occurs on anything that is not also a \(\neg H\)), and if shared with something that is the counterpositive of such an absence (\(H\)) also does not share it there (in the case of a non-locus-pervading property).