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...