I will discuss mainly the definition of the ‘pervasion’ relation. First, however, a brief note on how the causal model of knowledge is applied to inference. The ‘special’ instrumental cause (karaṇa) of an inferential cognition is said to be the inferrer’s knowledge of the relevant pervasion relation. The ‘operative condition’ (vyāpāra) is said to be an awareness that the locus of inference (p) possesses such an inferential sign (h) as is pervaded by the property inferred (s). This is, in effect,