tac ca vyāpyavyāpakabhūtayor dharmayor vyāpyavyāpakabhāvasiddhau satyāṃ dharmiviśeṣaparigrahamantareṇaiva sāmānyena vyāpakābhāve vyāpyam api na bhavatīti vacanamātrād eva pratīyate /
And this is understood from the mere statement that "when the pervader is absent, the pervaded too cannot exist," without requiring acceptance of any particular substrate, once the pervasion relationship between two properties [as pervaded and pervader] has been established in general.