car(cons(X,Y))=X.
cdr(cons(X,Y))=Y.
cons(car(X),cdr(X))=X.