22. Indian systems of logic involved a verification procedure that required demonstrating a confirming example and the absence of a counterexample. In this case, the absence of a counterexample would require that there be no genuine synonyms, as the phenomenon of synonymity, as we ordinarily understand it, calls into question Uddyotakāra’s notion of a “unique term” enjoying a privileged correspondence with its referent.