nondeterministic process