. "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.35." . . . .