Title: Tibetan translation of the Nyayabindu of Dharmakīrti