kecin manyante sādhyasādhanadharmayor viṣayopadarśanārtham anavayavabhūtāpi satī dṛṣṭāntapadavat pratijñā prayoktavyeti
Some hold [the view] that the pratijñā [Proposition] must be stated, just like the corroborative instance, because even though it does not constitute a component [of inference], it serves to indicate the domain of the sādhya [Probandum] and sādhana [Probans]