A term is said to be distributed in a given proposition if that proposition implies all other propositions that differ from it only in having, in place of the original term, any other term whose extension is a part of that of the original term—i.e., if, and only if, the term as it is used in that occurrence covers all