higher bound on width
is let less width ward ___