Are health insurance premiums paid from a retiree medical savings account included in the total for premiums paid? The company funded the account before husband retired.

The first part of the year the premiums were deducted from his pension plan funds and I included those since the funds are taxable. Midway through the year we switched to having the premiums paid out of the retiree medical savings account consisting of funds that the company contributed prior to retirement.