Against Proclus's