higher bound on width
set lets in ___