YES
exiting with thread!
(VAR x y )
(RULES 
        car(.(x,y)) -> x
        cdr(.(x,y)) -> y
        .(car(x),cdr(x)) -> x
        atom(x) -> false
        
)