epsilon one and
i one
✕
___
and
fold
i
zero
a
in
plus
one
↺ Reset