The result of combining Causality with the Piece-of-Pie Model entails that small things (other than the small) are small by getting a part of the small. This result entails that if there are any small things (as indeed there are), then the small must have parts. But if X is a part of Y, then Y is larger than X (see above), and hence Y is (in some way) large. Consequently, the small must be large. But, by Self-Predication, the small is small. So the small is both large and small. But this result contradicts Purity-F, according to which the small cannot have contrary properties, and hence cannot be both large and small.