Following observations of Aristotle, Kant, Newton, Leibniz and Einstein (on space), we can devise a means of showing how the ontology of time supports the precedes-succeeds logic, which the temporal series shares with those of space and number, and how the past-present-future account is consistent with that. Time, by a relativist, not absolutist, account, turns out to be the existence and nonexistence of exactly the same thing in exactly the same respect. Both A and not-A can be the case, but not at the same time. On the relativist view their both being the case constitutes time. This turns out to be, in the most general sense, a causal theory of time.