To avoid double counting, pre-tax benefits are accounted for either as income deductions or expenses, not both.