 The four big ones are production of steel, production of aluminum, production of hydrogen, actually, and then production of cement. This is a huge problem. I then looked at the amount of funding, right? And one metric that was really interesting to me was the dollars invested in decarbonizing the product per ton of greenhouse gas emissions. And I couldn't really find anything lower than cement.