higher bound on height
stack tops at ___