"To the extent that the Republic of China . . . "
Love Rummy, but the 'Republic of China' is Taiwan;
the mainland is the 'People's Republic. . . '.
Yeah, I noticed that, too.
Then again, you, Rummy and I know how much of the 'People's "Republic"' actually belongs to the Chinese people, the ones who crave for democracy.