higher bound less tight
constraint or ___