higher bound on width
is let term on ___