higher bound on width
set lets form ___