In 2022 alone, more than 120 million metric tons of cement were used across the U.S., most of which was…