udāharaṇāpekṣas tathetyupasaṃhāro na tatheti vā sādhyasyopanaya ityupanayalakṣaṇam
The upanaya [application] is defined as the restatement of the probandum [which says] either "thus [it is]" or "thus [it is] not," depending on the example.