making concrete, production of which ranks today as the second most carbon-intensive industry in the world—an industry that is booming, by the way, thanks to China, which recently poured more concrete in three years than the United States used in the entire twentieth century.

