updated Proclus and Aristonicus