higher bound on the
stack age of stack top stack less
✕
___
or
on
than
age
ions
in
ion
stack
↺ Reset