This can be rationalized by realizing that at each inner time step, an electronic transition can occur if it is detected at the low level and confirmed at the high level, such that when eq. ( ) is invoked, it is only to check for a transition in the last δt time window.