成唯識論述記 2.470

2.470

述曰：有餘部執「不失」、「增長」為不相應，是得異名，皆准此破，此如《成業論》正量部，舊云「不失法如券」是也。并破正理師和合性等，及破《成實論》無表戒等。次下第三、破無為法，於中有三：初破外計；次顯正理；第三結非。就破外中，初總非，後別破。總非中有三：初總非無實；次顯法定無；後為量遮破。

The Commentary states: Other schools hold that "non-loss" (avipraṇāśa) and "increase" are unassociated [formations], which are alternate names for possession (prāpti); all should be refuted according to this. This refers to what the Saṃmatīya holds in the Karmasiddhiprakaraṇa, formerly called "the dharma of non-loss is like a promissory note". It also refutes the Nyāyānusāra masters' "inherence" (samavāya) and so forth, as well as the unmanifest morality of the Tattvasiddhi-śāstra. Next below, third, is the refutation of unconditioned dharmas (asaṃskṛta-dharma). Therein are three parts: first, refuting the external tenets; next, revealing the correct principle; third, concluding the error. Under refuting the external [tenets], there is first a general denial, and later specific refutations. Within the general denial, there are three parts: first, a general denial of their having real existence; next, demonstrating that such entities are definitively non-existent; finally, refuting them by means of syllogism.