higher bound is less
and re ___