higher bound on the

tree width width bound width width width✕