How do you define function substitution?
Replace all free occurrences of the formal parameters in the function body by the actual arguments.
Example
We contract the expression:
(x => {return x * x;})(4)
We replace every free occurrence of x in the body of the function x * x by the actual parameter 4.
This gives us 4 * 4 eventually.