How Big of a Joke is Our Tax System?