higher bound on width
width width is width width bound on
___