higher bound on height
stack over powers elf ___