U saying Government workers add to the GDP???
They would have to. GDP must hinge on both the supply and demand. Even if government only consumed and did nothing to further economic growth consumption itself would factor into GDP and at a significant level, would it not?