nondeterminist

not defined yet