higher bound on height
stack over fills ___