higher bound less tight
constraint let ___