higher bound on width
is let less width bound ___