higher bound on the
stack top stack age height
✕
___
age
in
less
is
bound
stack
fall
of
↺ Reset