That’s the $5.8 billion payment for retirees in 2087 ~ yeah, they’re trying to get out of that. NOBODY PAYS THAT! Even you don’t pay that.