prayogaḥ yo yadvyāpakadharmarahitaḥ sa tadvyāptadharmavikalaḥ yathā vṛkṣatvadharmaśūnyo ghaṭādis tadvyāptaśiṃśapātvadharmavikalaḥ arthakriyāsāmarthyadharmavyāpakakramākramadharmarahitaṃ ca nityaṃ vedākhyaṃ vacanamityarthato vyāpakānupalabdhiḥ ato na svato nityavacasaḥ śaktisambhavaḥ
[Here is] the formal argument: Whatever lacks a pervading property must lack the properties pervaded by it - just as a jar etc., being devoid of tree-ness, lacks śiṃśapā-ness which is pervaded by it; and the eternal utterance called Veda lacks the properties of succession and simultaneity which pervade the property of capacity for effective action; thus by implication [there is] non-apprehension of the pervader; therefore the eternal word cannot possibly have [this] capacity inherently