higher bound i in
list map lambda i lambda
a if else else ___