Exercise 1.35 in J