Episode 38: Nondeterministic Evaluator I