higher bound on height
of the stack ___