(defun insert-after (x e xs) (cond ((endp xs) nil) ((equal x (first xs)) (cons (first xs) (cons e (rest xs)))) (t (cons (first xs) (insert-after x e (rest xs))))))