higher bound on height
stack ___