higher bound on height
stack tops a ___