We have seen how anxious Aristotle was to be considered one of the Platonists, how reluctant he was to depart from Plato's hypothesis of forms, and how, in denying the separability, he retained the Platonic belief in the reality and even in the unity of the universal.
But even so the Categories concludes that everything is either a predicate of, or inherent in, a substance; and the view that this colour belongs to this substance only in the sense of being in it, not of it, leaves the impression that, like a Platonic form, it is an entity rather in than of an individual substance, though even in the Categories Aristotle is careful to deny its separability.
This choice maximizes both separability measures for any given k.
