Proclus and his Legacy