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