(define the-rules (list '((append () Y Y)) '((append (A . X) Y (A . Z)) (append X Y Z))))