The description of the relationship between universals and individuals in terms of real identity and formal distinction entails (i) that not all that is predicated of individuals can be directly (formaliter) attributed to their universals and vice versa, but (ii) that all that is predicated of individuals has to be in some way or another attributed to universals and vice versa. Therefore, a redefinition of the standard kinds of predication was required.