Evaluation as a relation between expressions and their values