This is correct, although I would say time and state are two sides of the same coin, rather than the same thing. This is also why functional programming is a good abstraction, because it's abstracting time and therefore state from the logic.