Text this: Ioannes Philoponus De aeternitate mundi contra proclum