  Yogācāra holds that with the first type of inference the underpinning pervasion is “internal” (antar-vyāpti). We may think of this as an internal relation between concepts and thus as similar to the a priori of Western philosophy. But it is actually a technical point about whether the term that picks out the inferential subject or subjects—think of the pakṣa as a set—closes it off from being included in the inductive base of the generalization (or extrapolation, according to Ganeri 2001b) that gives us knowledge of a pervasion relationship. Mīmāṃsā and Nyāya rule out this kind of inference as begging the question: we want to know whether the inferential subject possesses the probandum property and so to cite that subject itself, even a part of it, runs counter to the very purpose of inference.