"The argument itself is deceptively simple to state," Annas says, of the Third Man objection:
When we consider a number of large things, we notice that they all share a common feature, that of being large, and we take this to be the form; the form is the one item in virtue of which all the large things are large. But then we go on to consider a second group of large things: the original large things and the form itself. And now it seems that they share a common feature, requiring a form in turn to be the one item in virtue of which they are all large. But once introduced, this line of thought leads to the conclusion that if we have even one form, we have infinitely many (30).But it's deceptively simple to state it that simply. Really, this is a masterful paragraph, not at all easy to write, and worth pausing to admire.