higher bound on width
set lets through ts ___