Answer to question s1-3

Nonsense. There is no such thing as n here.

Incorrect successors([ ]) = [ ]. Notation [n] yields a list of one thing.

Incorrect. How can successors(L) not depend on L?