 Medieval philosophers think that no part is identical to its  whole.[5]  The reasons why this is true are as varied as the types of parts and wholes themselves. If x is a quantitative part of y, then x is lesser in quantity than y. A donkey’s form is not identical to the donkey, because this donkey is a composite of the donkey’s form and something else, namely, the donkey’s matter. Socrates’ soul is not identical to the human being who is Socrates, for the human being is a composite of body and soul. Socrates is not a universal, even though he is a human being. And the extension of Animal is greater than the extension of Human Being.