Reducing the deficit, spending and revenue options. (Congress of the United States, Congressional Budget Office.)