Title: Tibetan translation of the Nyāyabindu of Dharmakīrti