What an Energy-Efficiency Hero Gets Wrong about Carbon Taxes