higher bound is is
other side ___