higher bound on the
stack top stack age is
✕
___
a
is
in
high
at
the
stack
low
↺ Reset