If we write off the national debt,