 So it's an unfortunate situation. It's a transitional period in terms of U.S. policy. And one would hope that if it's not going to happen in this administration, it will happen in the next, where we have a president who decides to call China what it really is with all of the attendant implications, including banning investment in a nation that wants to dominate us.