 And should go away as well. Do you think they're likely to go away if he becomes the president? I mean, I would assume that they would say this is null and void. This is worthless at this point. I believe they're political.