((symbolp (car x))  (append (list (car x))) (rewrite(cdr x)))