higher bound on the

tree width width bound width width wise✕