Parallel Nondeterminator Wang Junqing