higher bound on width
width width width is bound width ___