higher bound on the
stack top stack height stack
✕
___
top
bound
height
less
depth
fall
he
of
↺ Reset