Episode 39: Nondeterministic Evaluator II