 The oil market demand declined about 20% in the spring of 2020. It was devastating. Negative oil prices, paying someone to take your oil, wow. So that hit the oil industry hard. It hit a lot of refiners hard. And we saw some refineries close.