higher bound i in
list map lambda i lambda
plus
✕
___
one
i
plus
end
add
list
map
with
↺ Reset