refinement: #atom -> #evaluator.