higher bound on width
of a is let ___