ExclusiveLower(latestTimeOf(lower)) ?