. . . . "Social Security is a mandatory spending program, and the people who send those checks would continue to work under a legal doctrine called necessary implication." .