car(.(x,y)) -> x
cdr(.(x,y)) -> y
.(car(x),cdr(x)) -> x
atom(x) -> false()