What does Plato mean in saying that, for all forms, “F-ness is F”? In such claims, I argue, ‘F’ is being used metonymically to refer to the property of being productive of F-ness rather than to the property of being F, in a way consistent with univocity and the rejection of a genuine Self-Predication Assumption. I explain and defend this productive metonymy reading and show how it can resolve the troubling argument at Phaedo 74b7-c6.