Nyāyasudhā a subcommentary on Mādhva's Anuvyākhāna, a commentary on Bādarāyaṇa's Brahmasūtra, integrated version 3.3.13

यदि मोक्षादिदाता प्रत्यक्षः स्यादिति यावत् । कथञ्चन तत्सेवादिना । तदा सर्वेऽपि युक्ताः स्युरित्यर्थः । मोक्षदातुः प्रत्यक्षत्वे कुतः सर्वैर्मुक्तैर्भाव्यमित्यत आह यस्मादिति । यस्मान्नियमतो दुःखहानिः प्रत्यक्षतो भवेत् । धावन्त्येव तमुद्दिश्य राजाद्यमखिलाः प्रजाः

yadi mokṣādidātā pratyakṣaḥ syāditi yāvat / kathañcana tatsevādinā / tadā sarve'pi yuktāḥ syurityarthaḥ / mokṣadātuḥ pratyakṣatve kutaḥ sarvairmuktairbhāvyamityata āha yasmāditi / yasmānniyamato duḥkhahāniḥ pratyakṣato bhavet / dhāvantyeva tamuddiśya rājādyamakhilāḥ prajāḥ

Devanagari rendered by HREEM from the edition's roman (IAST) text; the IAST is the edition's own.

Sanskrit only: no published translation is held for this verse.