higher bound is reach
___