The idea is that everyone pays taxes. Those things are paid by tax money.