higher bound less than
less on top ___