> Progressive taxes are useful because they help fight poverty and allow the very poor to participate in the market (extreme inequality and the resulting poverty is regarded by most economists as a market failure).

That's what taxes are for, but I'm not so sure they have to be Progressive to allow for that.