Factor out andCombineLowerBounds and andCombineUpperBounds.