Strictly speaking, their operations are not tax funded. Their operating budget comes from selling postage. There's a whole complicated discussion about their pension, which apparently gets some Federal funding, but day-to-day they are not tax funded.