Seol mar théacs é seo: Proclus' Commentary on the Cratylus in context