Why aren’t benefits paid subtracted from the pension cost formula if benefits paid are subtracted to arrive at the pension obligation at the end of the period?
They’re also subtracted from pension assets.
Costs are recorded when they’re incurred, not when they’re paid: accrual accounting.