The deficit is including any returns on existing plan assets. And each year, the share of the tax receipts that go towards paying debt (including pensions) keeps increasing. Obviously, something will have to be cut to make up for this.