higher bound i if
and ___