Duplication of Note in Evaluation

[jmdyck]

In the Evaluation clause, the existing note is mostly-duplicated 5 times (twice for the existing algorithms and 3 times for the new ones). I think it would be better to retain just one note and reword it to apply to all 5 algorithms. (E.g., don't refer to specific step numbers, just refer to the invocation of PutValue that occurs in each algorithm.)