higher bound i in
list map lambda i lambda
a
✕
___
a
end
of
or
i
if
add
plus
↺ Reset