nondeterministic worlds