I think you’d have some statistical complications around stress: beyond the inherent pressure of the job itself, it’s highly likely that they were understaffed even before losing a lot of support when the DOGE chainsaws were in “cut first, measure later” mode — I know multiple people in the military who are still running at like half productivity because telework was cancelled so everyone’s day is a couple hours longer commuting into an office where they’re sitting on the floor because there aren’t enough desks — and if they were married to another federal employee they might be dealing with loss of income or childcare (DOGE closed the GSA office which handled that, apparently to pressure parents into resigning) at the same time.