 Now, I don't know. Maybe he said it. I doubt it. I kind of doubt it. It doesn't make much sense. It's certainly not a straight policy position. If anything, it's a little bit of a tasteless joke. I don't know. Is Donald Trump known for tasteless jokes? It's a tough one. People have already priced that in. The fact that that is their argument.