Right. So it had some impact on kick-starting the economy.
On page 15, again, you say this about the second quarter:
Government expenditures were another important source of demand, contributing 1.2 percentage points to growth (at annual rates) in the quarter.
Available indicators, including the recent pickup in employment, suggest that real GDP growth resumed in the third quarter. Household spending continued to recover, and the contribution of government expenditures increased.
What types of government expenditures are you specifically referring to here?