higher bound on width
is let to ___