nondeterminism

not defined yet