higher bound on width
width bound less in ___