 Another important distinction is between discrete models of time, which are prevalent in computer science, and dense or continuous ones, which are more common in natural sciences and philosophy. In forward-discrete (backward-discrete) models, each time instant that has a successor (predecessor) always has a corresponding immediate successor (immediate predecessor). In dense models, by contrast, between any two subsequent time instants, there is another instant.