Thank you so much for your time, and for confirming that Box 12b, Code W does reflect both our contributions and our employer's contribution. (And this matches the amount on our 5498-SA form.) But the Code W amount does NOT match the amount deducted from our Gross Pay/Box 1 wages--that amount was $X. Is it ok that the employer contribution amount was not also subtracted from our Wages? (Can I just assume it was never included as part of Wages to begin with, perhaps?)
