A.4.3 Overriding Non-Standard Argument Evaluation

Overriding holding of arguments.

By using Evaluate, you can get any argument of a function evaluated immediately, even if the argument would usually be evaluated later under the control of the function.