Existence, substatiality, and counterfactuality: Observations on the status of mathematics according to Aristotle, Euclid, and others, nr. 7, 2000