Build the cond evaluator and change its semantics