higher bound on height
stack over powers ___