higher bound i in
bound in ___