higher bound for the
stack top age age
✕
___
age
bound
of
in
at
is
a
height
↺ Reset