gauṇatvenaiva vaktavyaḥ so 'pi mantrārthavādavit / ityayaṃ niyamaḥ siddhyet sarvajñe tu nirākṛte //
This rule that "he too must be spoken of figuratively, like [one who] knows mantras and arthavādas" would be established only if [the existence of] the omniscient one were disproven.