higher bound less than
upper cut set less ___