ArthaŚ, 2, 8, 21.1 pūrvaṃ siddhaṃ paścād avatāritam paścāt siddhaṃ pūrvam avatāritam sādhyaṃ na siddham asādhyaṃ siddham siddham asiddhaṃ kṛtam asiddhaṃ siddhaṃ kṛtam alpasiddhaṃ bahu kṛtam bahusiddham alpaṃ kṛtam anyat siddham anyat kṛtam anyataḥ siddham anyataḥ kṛtam deyaṃ na dattam adeyaṃ dattam kāle na dattam akāle dattam alpaṃ dattaṃ bahu kṛtam bahu dattam alpaṃ kṛtam anyad dattam anyat kṛtam anyato dattam anyataḥ kṛtam praviṣṭam apraviṣṭaṃ kṛtam apraviṣṭaṃ praviṣṭaṃ kṛtam kupyam adattamūlyaṃ praviṣṭam dattamūlyaṃ na praviṣṭaṃ saṃkṣepo vikṣepaḥ kṛtaḥ vikṣepaḥ saṃkṣepo vā mahārgham alpārgheṇa parivartitam alpārghaṃ mahārgheṇa vā samāropito 'rghaḥ pratyavaropito vā saṃvatsaro māsaviṣamaḥ kṛtaḥ māso divasaviṣamo vā samāgamaviṣamaḥ mukhaviṣamaḥ kārmikaviṣamaḥ nirvartanaviṣamaḥ piṇḍaviṣamaḥ varṇaviṣamaḥ arghaviṣamaḥ mānaviṣamaḥ māpanaviṣamaḥ bhājanaviṣamaḥ iti haraṇopāyāḥ //

ArthaŚ, 2, 8, 21.1 pūrvaṃ siddhaṃ paścād avatāritam paścāt siddhaṃ pūrvam avatāritam sādhyaṃ na siddham asādhyaṃ siddham siddham asiddhaṃ kṛtam asiddhaṃ siddhaṃ kṛtam alpasiddhaṃ bahu kṛtam bahusiddham alpaṃ kṛtam anyat siddham anyat kṛtam anyataḥ siddham anyataḥ kṛtam deyaṃ na dattam adeyaṃ dattam kāle na dattam akāle dattam alpaṃ dattaṃ bahu kṛtam bahu dattam alpaṃ kṛtam anyad dattam anyat kṛtam anyato dattam anyataḥ kṛtam praviṣṭam apraviṣṭaṃ kṛtam apraviṣṭaṃ praviṣṭaṃ kṛtam kupyam adattamūlyaṃ praviṣṭam dattamūlyaṃ na praviṣṭaṃ saṃkṣepo vikṣepaḥ kṛtaḥ vikṣepaḥ saṃkṣepo vā mahārgham alpārgheṇa parivartitam alpārghaṃ mahārgheṇa vā samāropito 'rghaḥ pratyavaropito vā saṃvatsaro māsaviṣamaḥ kṛtaḥ māso divasaviṣamo vā samāgamaviṣamaḥ mukhaviṣamaḥ kārmikaviṣamaḥ nirvartanaviṣamaḥ piṇḍaviṣamaḥ varṇaviṣamaḥ arghaviṣamaḥ mānaviṣamaḥ māpanaviṣamaḥ bhājanaviṣamaḥ iti haraṇopāyāḥ //

Aṣṭādhyāyī, 8, 2, 1.0 pūrvatra asiddham //

BoCA, 9, 42.1 nanvasiddhaṃ mahāyānaṃ kathaṃ siddhastvadāgamaḥ /

SāṃKār, 1, 6.2 tasmād api cāsiddham parokṣam āptāgamāt siddham //

SKBh zu SāṃKār, 6.2, 1.6 tasmād api cāsiddhaṃ parokṣam āptāgamāt siddham /

VaiSūVṛ zu VaiśSū, 2, 2, 18.1, 3.0 nanu guṇatvamasiddhaṃ śabdādīnāṃ siddhaṃ kṛtvocyate //

VaiSūVṛ zu VaiśSū, 3, 1, 12.1, 3.0 caśabdo'nuktasamuccayārthaḥ śaśo viṣāṇī iti sādhye'siddhaṃ viṣāṇitvam pakṣe'vartamānatvāt //

ViṃVṛtti zu ViṃKār, 1, 15.2, 11.0 tasyāsiddhau rūpādīnāṃ cakṣurādiviṣayatvam asiddhamiti siddhaṃ vijñaptimātraṃ bhavatīti //

ViṃVṛtti zu ViṃKār, 1, 16.2, 5.0 asiddhamidamanubhūtasyārthasya smaraṇaṃ bhavatīti /

MṛgT, Vidyāpāda, 1, 9.2 vākyaṃ tad anyathāsiddhaṃ lokavādāḥ kva sādhavaḥ //

MṛgṬīkā zu MṛgT, Vidyāpāda, 1, 9.1, 16.0 etad yady abādhitaṃ syāt yāvatā paramāṇvindriyāder jagadbhāgasyāsiddhaṃ sāvayavatvam iti bhāgāsiddho 'yaṃ hetuḥ //

MṛgṬīkā zu MṛgT, Vidyāpāda, 1, 9.2, 6.0 tad etad anyathāsiddham atra hi paurvāparyaparyālocanānirākṛto yathāśrutaśrutisamutpādito vākyārthaḥ //

MṛgṬīkā zu MṛgT, Vidyāpāda, 1, 12.2, 4.0 idānīṃ vākyaṃ tadanyathāsiddham iti paramatam anusaṃdhāya dūṣayati //

MṛgṬīkā zu MṛgT, Vidyāpāda, 3, 1.2, 4.0 nanu dehasyaiva tāvatkāryatvam asiddhaṃ nahi kvacit kadācid dehaḥ kenacit kriyamāṇo dṛṣṭaḥ //

MuA zu RHT, 9, 1.2, 7.0 tadbījaṃ siddhaṃ sarvalakṣaṇopetaṃ rase pārade niyojyaṃ nāsiddhamiti //

SkPur (Rkh), Revākhaṇḍa, 209, 28.3 niṣpattiṃ yāti vā neti tad asiddham aśeṣataḥ //

SkPur (Rkh), Revākhaṇḍa, 209, 29.1 asiddhaṃ siddhamasmākaṃ yat tvayā samudāhṛtam /

Tarkasaṃgraha, 1, 51.17 sopādhikatvād vahnimattvaṃ vyāpyatvāsiddham //