Should this not be ExclusiveUpper(latestTimeOf(upper) - 1) ?