higher bound i in
list map first value ___