A.n B.n-1 C.n+1 D.2*n
A.0 B.1 C.–1 D.2
A.Tail(Head(A)) B.Head(Tail(A)) C.Head(Tail(Head(Tail(A)))) D.Head(Head(Tail(Tail(A))))