higher bound a in
bound less on ___