Text this: Proclus' Commentary on the Cratylus in context :