higher bound on height
stack tops peak ___