I mean, I don't care what they are personally. But with making the USPS self-sufficient and not requiring infusions from the taxpayer being a goal that has been pursued and achieved, you could construct a world where the USPS simply IPOs, or its ownership tranferred to a weighted consortium of all 50 states or something, and a change in ownership like that would render those postal employees not federal employees anymore. So it was more that "keeping them federal employees" places some constraints on what we can do with USPS.