Nondeterministic environment