higher bound on width
is let less is lets ___