Qianying Lin, Shi Zhao, Daozhou Gao, Yijun Lou, Salihu S Musa, Shu Yang, Maggie H Wang, Yongli Cai, Weiming Wang, Lin Yang and Daihai He; Formal analysis: