prayogaḥ yasya yasmin vṛttinibandhanaṃ na kiñcid asti na tat tasmin vartate, yathā vindhye himavān, nāsti ca sāmānyasya bhedeṣu vṛttinibandhanaṃ kiñcid itivyāpakānupalabdhiḥ //
The syllogism [is this]: Whatever has no basis for subsistence in something does not subsist in that [thing], just as the Himālaya [does not subsist] in the Vindhya; and the Universal has no basis for subsistence in the particulars - [this constitutes] the non-apprehension of the pervader.