higher bound on the
stack top stack less less
✕
___
less
stack
than
bound
in
on
a
more
↺ Reset