Syn {thad ma sde bdun} the seven treatises on logic by Dharmakirti. 1) {tshad ma rnam 'grel} [pramaan.avaarttika]. 2) {tshad ma rnam par ngas pa} [Pramaan.vinis'caya] 3) {rig pa'i thigs pa} [Nyaay-bindu] 4) {gtan tshigs thigs} [Hetu-bindu] deals with the actual number of aspects which necessarily constitutes a valid inferential mark or reason. 5) {'brel ba brtags pa} [Sambandha-parakiis.a] deals with the theory of relations as understood by Buddhist logicians. 6) {rgyud gzhan grul pa} [ samtaanaaantara-siddhii] deals with the repudiation of solipsism. 7) {rtsad pa'i rigs pa} [vada-nyaay] deals with the proper method of demonstration in the face of controversy