Den logiska slutsatsen är att eftersom pensionärer inte arbetar, borde socialförsäkringen vara 0 dollar.