higher bound less in
constant and variable
bind ___