higher bound on width
is at most width bound less ___