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