Against Proclus'