higher bound i in
list map lambda with first ___