De logische implicatie is dat omdat gepensioneerden niet werken, de Sociale Zekerheid $0 zou moeten zijn.