diff --git a/scheme/base.sld b/scheme/base.sld
index 1e28a9a6..ee1e1129 100644
--- a/scheme/base.sld
+++ b/scheme/base.sld
@@ -1194,6 +1194,8 @@
 (define-syntax syntax-rules
   (er-macro-transformer
    (lambda (expr rename compare)
+;(Cyc-write `(syntax-rules expand ,expr) (current-output-port))
+;(Cyc-display "\n"  (current-output-port))
      (let ((ellipsis-specified? (identifier? (cadr expr)))
            (count 0)
            (_er-macro-transformer (rename 'er-macro-transformer))
@@ -1412,6 +1414,10 @@
        (list
         _er-macro-transformer
         (list _lambda (list _expr _rename _compare)
+;(Cyc-write `(syntax-rules expand ,_expr) (current-output-port))
+;(Cyc-display "\n"  (current-output-port))
+;(list 'Cyc-write (list 'syntax-rules 'expand _expr) (list 'current-output-port))
+;(list 'Cyc-display "\n"  (list 'current-output-port))
               (list
                _car
                (cons
diff --git a/scheme/cyclone/util.sld b/scheme/cyclone/util.sld
index 6854c486..400a8aa7 100644
--- a/scheme/cyclone/util.sld
+++ b/scheme/cyclone/util.sld
@@ -404,6 +404,7 @@
   ;; TODO: what if expr is a syn closure?
   (make-sc env free-names expr))
 (define (strip-syntactic-closures expr)
+  ;; TODO: no, recursively traverse form and replace the sc's
   (identifier->symbol expr))
 (define (identifier? expr)
   (or (symbol? expr)