higher bound a ha
___