The solution to this exercise is incomplete.