higher bound is a
us here ___