Editing: eval.h