Answer to Question s1-2
Nonsense.
There is no such thing as
h
here.
Incorrect.
successors([ ]) = [ ]. The
:
operator always yields a nonempty list.