Tax progressivity is often at odds with efficiency.

• 累进税往往同高效率相牴牾。