 So this has, like you said, has been decades of negotiation between all of these entities involved. And the Navajo Nation is one of the largest indigenous communities in the United States with a population of over 175,000 people in Arizona alone that live on the reservation. So when you think about that, you have...