"This paper considers an optimal taxation environment where household income is private information, and the government randomly audits and punishes households found to be underreporting. We prove that the optimal mechanism derived using standard mechanism design techniques has a bad equilibrium...