Using an allotment from an employee's pay to the employing agency allows certain payments (e.g., employee health insurance premiums, contributions to a flexible spending arrangement, and contributions to a health savings account) to be paid with pretax dollars, as provided under section 125 of ...