#| This exercise has no tests.
Any solution is a right answer. |#
By the substitution model, the (f f) eventually become (2 2) 
causing an error.