 Wyclif’s last formulation of the theory of difference and his theory of universals and predication are linked together, and rest upon a sort of componential analysis where things substitute for lexemes and ontological properties substitute for semantic features. Within Wyclif’s world, difference (or distinction) is defined in terms of partial identity, and is the main kind of transcendental relation holding among the world’s objects, since in virtue of its metaphysical composition everything is at the same time partially identical to and different from any other. When the objects at issue are categorial items, and among what differentiates them is their own individual being, the objects differ essentially. If the objects share the same individual being and what differentiates them is (at least) one of their concrete metaphysical components (or features), then the objects differ really, whereas if what differentiates them is one of their abstract metaphysical components, then they differ formally. Formal distinction is therefore the tool by means of which the dialectic of one-many internal to the world’s objects is regulated. It explains why one and the same thing is at the same time an atomic state of affairs and how many different beings can constitute just one thing.