I guess this shows that deficit spending works to increase GDP, but we already knew that.