In the R4RS macro appendix it says: Furthermore, there is no DEFINE-SYNTAX analogue of the internal definitions described in section 5.2.2. Is this because it leads to an contradiction? Couldn't internal DEFINE-SYNTAXs be transformed into a LETREC-SYNTAX?