higher bound on height
stack top self same ___