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.