  (Notice that Non-Identity follows directly from Separation.)  From the fact that L1 partakes of L2, Non-Identity entails that L2 is numerically distinct from L1. Thus, there must be at least two forms of largeness, L1 and L2. But this is not all. By Self-Predication, L2 is large. So there is now a new plurality of large things, A, B, C, L1, and L2. Thus, by One-over-Many, there is a form of largeness (call it “L3”) by virtue of partaking of which A, B, C, L1, and L2 are large. Hence L1 and L2 both partake of L3. But then, by Non-Identity, L3 is numerically distinct from both L1 and L2. Thus, there must be at least three forms of largeness, L1, L2, and L3. Repetition of this reasoning, based on One-over-Many, Self-Predication, and Non-Identity, then generates an infinite hierarchy of forms of largeness, with each form partaking of every form that lies above it in the hierarchy.  (That is, for every m and n such that m&lt;n, Lm partakes of Ln.)