The antitrust remedy isn’t set until the September hearings and won’t take effect until after years of appeals hearings.