Incorrect. successors(L) does not begin with head(L). It begins with head(L) + 1. It does not necessarily contain 1. Counterexample: L = [2,4,6]. Correct: successors(L) = [3,5,7]. But the equation says it is successors(L) = [2,1,4,6].