evaluator: note on variable-naming rules