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