What goes wrong is the accuracy guarantee. Complementing gives an upper graph, but the old guarantee doesn’t establish that it’s close enough to the target grap

What goes wrong is the accuracy guarantee. Complementing gives an upper graph, but the old guarantee doesn’t establish that it’s close enough to the target graph - which is what the theorem requires…