higher bound less than
upper cut down ___