Answer to Question s2-3

Notation. L->head should be head(L). L->tail should be tail(L).