LOCAL M4.

Append3(x,y,z,u) <- Append(x,y,w) & Append(w,z,u).