 Doug asked me in a chat on there a week or so ago who I thought would make a bigger impact on China going forward, a Biden presidency or a Trump presidency. And I was a little stumped because one features trade, the other features industrial policy. And we're not even sure how China would react to that. But from your standpoint, from China's point of view, which is the worst outcome of the two?