(defun C+ (x y)
  (cons (+ (car x) (car y)) (+ (cdr x) (cdr y))))

(defun C- (x y)
  (cons (- (car x) (car y)) (+ (cdr x) (cdr y))))

(defun CC (x)
  (cons (car x) (- (cdr x))))