refinement: #eval.