higher bound on the

tree width width width less width wise✕