;; ((p = q) = r) = (p = (q = r)) (define-macro (axiom-of-association . expr) (println 'expr expr) (let ((res ((match '(((p? = q?) = r?) = (p? = (q? = r?)))) expr))) (println 'res res)))