 Well, when Trump became president in 2016, the first piece of legislation that he signed, if my recollection is correct, was one that the Republican legislature had passed that allowed mining operations to dump tailings, to dump their mining waste into American rivers. And this is waste that's contaminated with cadmium and uranium and all kinds of poisonous stuff.