p255 4.1 list-of-values-left & list-of-values-right
p259 4.4 eval and or
p259-p260 The Core of the Evaluator