Where do the taxes actually come from, and what is done with them?