idam iti dvividham api sādhanaṃ nirākāravādinaṃ pratiyatas tena na siddhasādhyatā nāpyupacāreṇānyasya saṃvedanam asti upacāranibandhanābhāvāt //
Since both these arguments [beginning with] "idam" are directed against the proponent of formless cognition, there is neither proving of what is [already] proved, nor is there apprehension of something else through secondary usage, due to the absence of any basis for such secondary usage.