anityeṣveva varṇeṣu vācakatve prasādhite pratyabhijñānumāne ca niraste nityasādhane
When the expressiveness of non-eternal letters alone has been established, [and] when recognition and inference as means of establishing eternality have been refuted...