higher bound less tight
bound let go ___