 Those are the only three numbers that actually make up a sizable portion of our government spending, and nobody wants to touch them. So these are not painless solutions at the end of the day. I think we can't avoid spending $12 trillion over or increasing the deficit by $12 to $13 trillion over an eight-year period again.