Contributing to a 401k? Cool, enjoy double taxation for social security later on, assuming you get it