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