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