higher bound less tight
bound set ___