Substitution Model

Remember Mantra 2: To find the value of a combination,

• Find the values of all of the subexpressions, in any order
• Apply the value of the first to the values of the rest

"Apply" (for now) means "substitute the values of the arguments for the corresponding parameters in the body of the procedure being called."