prayogaḥ yaḥ pratikṣābhimate pratyaye na pratibhāsate svenākāreṇa, na sa pratyakṣatvena grahītavyaḥ, yathā gagananalinam, na pratibhāsate ca pratyakṣābhimate pratyaye sthūlākāropagrāhiṇi paramāṇur aneko mūrta iti vyāpakānupalabdhiḥ /
The formal argument is: Whatever does not appear in its own form in what is considered to be a perception should not be taken as perceptible - like a sky-lotus; and many corporeal atoms do not appear in what is considered to be perception, which [always] apprehends gross forms - thus [this is] non-apprehension of the pervader.