higher bound on height
stack top line age less
✕
___
ends
or
lines
ions
falls
ins
is
lies
↺ Reset