Ex 16.39 -> removed unnecessary auxiliary fn