Thank you. Do you have an IRS guideline that specifies that? I only ask because my company's HR team said the exact opposite - IRS considers IRA and 401k accounts separate for contribution purposes. I can't seem to find an answer either way in IRS rulebook.
