@srr , that's correct. In your case you did an IRR and you had after-tax money in the traditional 401(k).
