higher bound on width
is let ting red ___