Further, of the ways in which we prove that the Forms exist, none is convincing; for from some no inference necessarily follows, and from some it follows that there are Forms of things of which we think there are no Forms.