progressive income tax in particular, provides insurance against the risk of uncertain future income. By providing for high taxes … of potential after-tax income relative to a lump-sum tax. This insurance function is distinct from the redistributive … income tax role in a federal system, given both its redistributive and insurance functions. The standard view in the …