 One could say a great deal about these rules, but the term that does most of the heavy lifting is ‘supposits’. Supposition is a theory of reference and it is the coreferentiality of terms in the different sentences in a syllogism that is the decisive factor in determining whether the principle of uniform substitution is satisfied or not. It is at this point that he introduces the theory of distribution.