Project Proposal: Parallel Nondeterminator
		He Yuxiong