Use the value mapping provided by LiveIntervalMap. This simplifies the code a