higher bound on the
stack top stack height bound
✕
___
less
stack
is
in
on
bound
down
i
↺ Reset