higher bound on width
is let ___