Text this: Procli Diadochi in Platonis Cratylvm commentaria/