Migrating evaluator to terminal