// we know ( ] ), and since we dealt with truncating below already,
        // we know [ ( ] )
// we know ( ] ), and since we dealt with truncating below already,
        // we know [ ( ] ) | TreeRangeMap.java