Yes, but they are also paid by taxes, and they hardly are going to pay the entirety of their salary in taxes.