I mean there's flavors of contributions to gdp. Spending money on make work for people digging holes still counts. I wouldn't mind 1 trilly being freed up for more effective use. I imagine we could get pretty good returns on it just paying it against the debt as a simple idea, effectively a tax cut.