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