Made n0 evaluator, untested but compiles