Exercise 5.3, naive recursive version