Government workers are funded by public money, so public pension monies are funded by public money ultimately.