This book examines tax policies and tax systems as they arise from democratic choices, set against the background of a market economy. The authors find that democratic insti- tutions yield complex tax systems with features that follow a varied but predictable pat- tern. In developing their analysis, they use formal modeling of voting behavior, emphasizing recent advances in the theory of probabilistic voting.