higher bound on height
stack over ___