higher bound a in
___