Answer to Question s1-7
Incorrect.
Successors([ ]) should be an empty list. 1
:
[ ] is [1].