Answer to Question s2-29
Nonsense.
There is nothing called
A
here. I don't know what this is supposed to mean. Is it saying that successors(
L
),
A
and head(
L
)+1
:
A
are all the same? Equation
A
=
x
:
A
is never true, because list
x
:
A
is longer than
A
.