higher bound on height
stack over powers core ___