higher bound i if
set ___