higher bound on height
of ___