Premise: (That is, Social Security taxes would be real savings instead of merely transfers.
Hypothesis: Social Security taxes would continue to be used just as transfers. 
Label: contradiction