 A high national debt is going to strain those programs, potentially leading to reduced benefit or increased eligibility requirements. They've been talking about making the beginning age for Social Security instead of 62, age 70. Matt, what do you think about that?