higher bound i in
list map lambda index map
___