Članak govori o radu Wang Jija, kineskog istraživača računalnih znanosti na Nacionalnom sveučilištu za obrambenu tehnologiju, koji se specijalizirao za provjeru ispravnosti softverskih koda pomoću matematičke logike.
Procjena pristranosti (Progresivno): U članku se opisuju Wang Jijeva postignuća u kontekstu kineske vojne modernizacije i naglašava njegovo priznanje od strane državnih institucija, što se poklapa s narativom koji promoviše Komunistička partija.






