higher bound on width
set lets in lets ___