higher bound on width
width width width is width most a
___