Evaluation in mathematics (1965)