. . "If the premium is a mix then only the portion paid with pre-tax dollars is taxable." . .