Philoponus: Against Proclus on the Eternity of the World 12-18