prativādyasiddha (hetvābhāsa) NB 3.61: cetanās tarava iti sādhye sarvatvagapaharaṇe maraṇaṃ prativādy-asiddham, vijñāneindriyāyur nirodhalakṣaṇasya maraṇasyānenābhyupagamāt, tasya ca taruṣv asambhavāt // HTU 27: cetanās tarava iti sādhye sarvatvagapaharaṇe maraṇād iti hetuḥ prativādino bauddhasyāsiddha iti prativādyasiddhaḥ / caitanyādinirodhasya bauddhenopagamāt // TSop 3.11: cetanās tarava iti sādhye sarvatvagapaharaṇe maraṇaṃ prativādyasiddham / vijñāṇendriyāyurnirodhalakṣaṇasya maraṇasyānenābhyupagamāt / acetanāḥ sukhādaya iti sādhya utpattimattvam anityatvaṃ vā sāṃkhyasya svayaṃvādino 'siddham / atra cotpattimattvam anityatvaṃ vā paryāyeṇa hetur na yugapat / tathā hi parārtho hetūpanyāsaḥ / parasya cāsata utpāda utpattimattvaṃ sataś ca niranvayo vināśo 'nityatvam siddham iti / |