Okay. Understood. And then I guess just last one for me, Joe. Strategically, infrastructure has obviously been the one that we've been waiting to get pretty solid contribution from over the years. Just wondering if the cryptocurrency opportunity, obviously, it could be very lucrative for you, but I think that would involve another capital outlay and introduce volatility. So is that the right step forward, especially as you think about potentially separating the company in the future? Well, I do think when you think about that business, the integration with low-cot energy is, it's very compelling. And so that's kind of what drove us to think about that is when you think about the highest and best use for electricity, it's $150 a megawatt hour today versus $30 million for industrial activities. So really it's -- I don't know exactly where that will go, but it felt like worth exploring and figuring it out so that we can -- because we do have an asset. We have so many people coming to us saying they want to use our asset and they wanted to make all the money. So I think well, it's not that hard to buy the machines we did in the business, so why don't we make the money and then see where that leads us. Whether that's a separate activity or where it evolves or how it turns into, it just felt like a good -- we have one of the best assets in the world for that activity right now. And it happened to be, we got lucky that it's actually coming online in August with bitcoin at $50,000. So it was really -- it's a little opportunistic in that sense and how it evolves into infrastructure and how people think about it as TBD. It's not that much of a capital outlay. And paybacks are under 2 years. So I think the breakeven on getting your money back on bitcoin is like $20,000, so. And you can stop the activity, you don't have to keep doing it. And some people say, it's really volatile, volatility is a negative, and it's like, well, I don't know, if bitcoin goes to $100,000, we'll have all of our money back in a couple of months, so why is that bad?