Parallel Nondeterminator He Yuxiong