higher bound less than
upper cut set ___