Suppose L = [1]. Then, according to this definition, the result is the same as successors([ ]), which is [ ]. The correct answer is successors([1]) = [2].