Yes, if you are an active employee, premiums are deducted on a pre-tax basis. If you are an annuitant, premiums are deducted from your annuity after-tax.
There was an unexpected error when performing your action.
Your error has been logged and the appropriate people notified. You may close this message and try your command again, perhaps after refreshing the page. If you continue to experience issues, please notify the site administrator.