Specialist

nondeterministic