kevalaṃ parasyaiva vyāpakadharmanivṛttyāpi vyāpyanivṛttimanicchato 'niṣṭāpattyā vacanavyāghātaḥ pratipādyate /
[We] are merely showing that when the opponent does not accept the absence of the pervaded even when the pervader is absent, [he] encounters an unwanted consequence and contradiction in [his own] statements.