higher bound is key
now we ___