Sure, and the issue wasn't whether it would happen, it was what the money would be used for. Republicans and Democrats wanted different things. The tax policy was going to change. It was just a matter of what we did with it. In this case, it was used to pay for lower taxes for corporations.