We revisit the classical result that taxation of private consumption is distortionary and therefore precludes the efficient provision of public goods. We introduce a nonlinear consumption tax which we call a `tax lottery'. Under this scheme, an ad-valorem consumption tax is supplemented with a...