higher bound on width
is let term
✕
___
in
less
ate
an
wise
i
on
ins
↺ Reset