Now some people might call President Xi of China the king of China. But he's called president. But we have a very good relationship and that's a positive thing. And it would be good to have that relationship with Russia and other countries, too.