higher bound is key
now we aver ___