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.