Injecting mathematical rules, calculating a world state, and identifying Yuanshu Wang.