Exercise 2.45: and Louis Reasoner strikes out yet again