paid by taxpayers