higher bound on the
tree width width width bound ___