redistributive taxation, as it is called, is the type relevant to our problem. It does involve the use of government power to interfere with what people do, not because what they do is wrong in itself, like theft or discrimination, but because it contributes to an effect which seems unfair.