and you should see that Box 1 of the W2 is lower than Box 3...so theyve already got the deduction for that contribution.
