using Khoa's new evaluator