5.4.1 The Core of the Explicit-Control Evaluator