tathā hi yannivṛttau yanniyamena nivartate sa tena vyāpto vyapadiśyate, nivṛtteś ca nānupalabdhilakṣaṇaprāptānupalambhamantareṇa siddhir bhavati /
For when the absence of something invariably follows from the absence of another, the former is designated as pervaded by the latter; and [such] absence cannot be established without non-apprehension of what is capable of being apprehended