4 ms·nitpick: it's been about 40 years. E.g., the US officially switched recognition to PRC in 1979.by nerfhammer 6y agonitpick: it's been about 40 years. E.g., the US officially switched recognition to PRC in 1979.