I think we are missing the `time is going backwards` checks here?