higher bound less tight
constraint soft ___