Text this: Procli Diadochi in Platonis Cratylum commentaria/