higher bound a in
bound a ___