higher bound on height
___