Due to the use of distortionary taxation, many believe that real-world economies should attain a lower level of public expenditures than in a situation where lump-sum taxes are available. The present paper examines this hypothesis by means of the two-type self-selection model of income taxation....