Don't think about it as double taxing. Think of it as splitting tax in 2 components, in which one component scales linearly with resource usage.

Game theory is a harsh mistress.