Evaluating 1 + 1 (and not much more)