higher bound a in
bound in ___