higher bound is reach
a ___