deleted RangeBound; don't need it!