 We also hear from Proclus of a dispute in the Academy between some, whom we might call ‘constructivists’, who saw mathematics as something like a human construct, and referred to the truths of geometry as ‘problems’, demanding geometrical constructions, and others, whom we might think of as ‘mathematical realists’, who saw mathematics as describing an eternal, unchanging realm of objects, and referred to the truths of mathematics as ‘theorems’ or ‘objects of contemplation’. Proclus says (Friedlein 1873 pp. 77.15–78.6; Morrow 1970 pp. 63–64):