higher bound less tight
constraint able less string ___