higher bound on height
stack less in ___