 Does it matter who ultimately is in the White House come November? Look, I think it depends on what the issue is, right? And so some of the things we've talked about in the past, like China. This is one topic where maybe the only topic where Democrats and Republicans seem quite aligned, which is getting tougher on China. I'm not sure policies will be radically different between a Trump and potentially a Biden administration.