cxxxviii. _All true Conditions reside in the same subjects with their major terms;[476] and, their subjects being thus common, the (erring) middle term will be equally too general in regard to the Condition and the major term._[477] cxxxix. _It is in order to prove faulty generality in a middle term that the Condition has to be employed._ The meaning of this is that it is in consequence of the middle term being found too general in regard to the condition, that we infer that it is too general in regard to the major term; and hence the use of having a condition at all. (_a._) Thus, where the condition invariably accompanies an unlimited[478] major term, we infer that the middle term is too general in regard to the major term, from the very fact that it is too general in regard to the condition; as, for example, in the instance "the mountain has smoke because it has fire," where we infer that the "fire" is too general in regard to "smoke," since it is too general in regard to "wet fuel;" for there is a rule that what is too general for that which invariably accompanies must also be too general for that which is invariably accompanied. (_b._) But where we take some fact or mark to determine definitely the major term which the condition is invariably to accompany,--there it is from the middle term's being found too general in regard to the condition in cases possessing this fact, or mark that we infer that the middle term is equally too general in regard to the major term. Thus in the argument, "B is dark because he is Mitrá's son," the middle term "the fact of being Mitrá's son" is too general in regard to the _sádhya_, "dark colour," because it is too general in regard to the _upádhi_, "feeding on vegetables," as seen in the case of Mitrá's second son [Mitrá's parentage being the assumed fact or mark, and Mitrá herself not having fed on vegetables previous to his birth].