higher bound for the
stack less bound stack bound stack
✕
___
less
bound
stack
let
more
top
head
of
↺ Reset