Where are these carbon taxes? The only one I was aware of was in Australia, but that got repealed.