higher bound on height
stack tops ___