((listp (car x)) (list (rewrite(car x))))