higher bound on width
is let term i ___