sol-1.34.tex

Using the substitution model, the combination `(f f)` reduces first to `(f 2)` and then to `(2 2)`.  This last expression cannot be evaluated, because the number $2$ is not a procedure, so the interpreter will issue an error.