higher bound is key
now let ___