consult(init).
goedel.
;cs M2.
;c M2.
;l M2.
Append3(Cons(Monday, Nil), Cons(Tuesday, Nil), Cons(Wednesday, Nil), x).

Append3(x, y, z, Cons(Monday, Cons(Tuesday, Cons(Wednesday, Nil)))).

halt.