higher bound less tight
constraint able ties float ___