higher bound on width
is let less width bound width bound
lets ___