  For example, the beautiful is beautiful (Euthydemus 301b5, Cratylus 439d5–6, Hippias Major 292e6–7). It is clear that the point generalizes to all properties, including the property of being large (see Phaedo 100c4–6, 102e5–6).  (Notice that Purity-F and Self-Predication together entail the principle that the F cannot possess the property that is contrary to F, instances of which appear throughout the middle dialogues (Hippias Major 291d1–3, Phaedo 102e5–6) and in Socrates’ speech (Parmenides 129b1–3, 129b6–c1).) And finally, the sequel also repeatedly refers to the principle of Oneness: