higher bound on height
stack top self same height✕ ___
↺ Reset