(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 bo