 Based on my conversations with some of the stakeholders and even some of the federal partners, we made changes in that House language. And that House bill that passed, the language explicitly states that mining companies will not have unrestricted use of public lands. I want to clarify this very quickly. So what does that mean? It means that it also does not open protected lands to mining. It does not allow mines in national parks. It does not prohibit other uses of the land.