External carbon costs and internal carbon pricing. (October 2022)