Referenced study: https://m-almagro.github.io/transport_tech.pdf

Error correction: Lucas mistakenly said that Biden set the social cost of carbon at $150/ton, it was actually $190. But that just makes him more correct.