higher bound less tight
constraint able ts ___