changed elissions on Proclus