evaṃ tāvad anumānato 'vayavāvayavinor bhedaṃ prasādhya pratyakṣato 'pi sādhayann āha sthūlārthetyādi /
Having thus far established through inference the difference between parts and whole, [the author now] proceeds to establish [it] through direct perception also, stating "If there were no gross substances" etc.