One way to make sense of this claim is by way of the following chain of reasoning. As we’ve seen, One-over-Many, Self-Predication, and Non-Identity together generate an infinite hierarchy of forms of largeness, each of which partakes of the forms above it in the hierarchy. Thus, L1 partakes of infinitely many forms, L2 partakes of infinitely many forms, L3 partakes of infinitely many forms, and so on. Now there are passages in which Plato appears to assume that forms are as many as the predicate