We study optimal income taxation in a framework where one's willingness to report his income truthfully is positively correlated with his type. We show that allowing low-productivity types to cheat leads to Pareto-superior outcomes as compared to deterring them, even if audits can be performed...

The incidence and efficiency losses of taxes have usually been analyzed in isolation from public expenditures. This negligence of the expenditure side may imply a serious misperception of the effects of marginal tax rates. The reason is that part of the marginal tax may in fact be a payment for...