atrodyotakarādayaḥ prāhuḥ na paunaruktyamatra, yasmāt sādhyanirdeśaḥ, pratijñā nigamanaṃ tu siddhanirdeśaḥ /
To this, Uddyotakara and others have replied: "There is no repetition here, because the proposition indicates what is to be proved, while the final conclusion indicates what has been proved."