higher bound on width
is at an ___