nondeterministic diagram