Stav dette: Proclus' Commentary on the Cratylus in context