Don’t 401k contributions have to come out of your paycheck? Don’t you have to pay taxes on money you win?