  Dignāga, it should be stressed, as a nominalist sees inference as proceeding from knowledge of particulars to other knowledge of particulars (avoiding the universals of the realists, as nicely explained by Hayes 1988 with reference to the Buddhist apoha, “exclusion,” theory of concepts). Dignāga formulates a threefold test for a good prover, trairūpya-hetu: