 And the story on how that happened, you should get his book. It's interesting. Nothing nefarious. It's just no one thought about the fact that the year before had been one of the wettest years in history and since. And so they measured the volume and said, oh, that's how much water there is. And no one thought maybe we should measure the water two years in a row before we write the compact. Didn't happen. So the Colorado River Compact is set to expire. There are two basin areas in this. There's the upper basin, Colorado, New Mexico and Utah and Wyoming on one side.