higher bound on height
of stack top✕ ___
↺ Reset