But then we can add G1 to (A, B, C) to form a new plurality of great things: (A, B, C, G1). By one-over-many, there is a form of greatness (say, G2) by virtue of partaking of which A, B, C, and G1 are great. But in that case G1 partakes of G2, and by Non-Self-Partaking, G1 is not identical to G2. So there are at least two forms of greatness, G1 and G2. This already contradicts Uniqueness, according to which there is exactly one (and hence no more than one) form of greatness. But it gets worse for the theory of Forms. For by Self-Predication, G2 is great, and hence G2 can be added to (A, B, C, G1) to form a new plurality of great things: (A, B, C, G1, G2). By One-Over-Many, there is a form of greatness (say, G3) by virtue of partaking of which A, B, C, G1, and G2 are great. But in that case G1 and G2 both partake of G3, and by Non-Self-Partaking, neither of G1 and G2 is identical to G3. So there must be at least three forms of greatness, G1, G2, and G3. Repetition of this reasoning shows that there is an infinite hierarchy of forms of greatness, with each form partaking of the infinite number of forms above it in the hierarchy. According to Plato, anything that partakes of many things must itself be many. So each form in the infinite hierarchy of forms of greatness is many. But then, given Purity and One/Many, it follows that each form in the infinite hierarchy of forms of greatness is not one. This contradicts Oneness. Legacy The third man argument was furthered by Aristotle (Metaphysics 990b17–1079a13, 1039a2; Sophistic Refutations 178b36 ff.) who, rather than using the example of "greatness" (μέγεθος), used the example of a man (hence the name of the argument) to explain this objection to the theory, which he attributes to Plato; Aristotle posits that if a man is a man because he partakes in the form of man, then a third form would be required to explain how man and the form of man are both man, and so on, ad infinitum. Ancient commentaries The Parmenides was the frequent subject of commentaries by Neoplatonists. Important examples include those of Proclus and of Damascius, and an anonymous 3rd or 4th commentary possibly due to Porphyry. The 13th century