higher bound i is
a in bound ___