He hasn’t been president of the prc (China) since 2012