evaṃ prasaṅgasādhanatvaṃ samarthya sāmprataṃ prakṛtārthānurūpyānabhidhānaṃ yojayitum āha yadyevam ityādi
Having thus established the nature of reductio ad absurdum reasoning, [the author] now speaks to connect [this with] the non-assertion of conformity with the matter at hand, [beginning with] "if that is so."