Понимание того, как реализовать однократный макрос lisp

В книге Питера Сейбела «Практический общий Лисп» мы можем найти определение очень сложного макроса только один раз (см. Внизу страницы).http://www.gigamonkeys.com/book/macros-defining-your-own.html).

Я читаю это определение макроса 10 раз за последние 3 недели и не могу понять, как оно работает. :( Хуже того, я не могу разработать этот макрос самостоятельно, хотя я понимаю его назначение и как его использовать.

Я особенно заинтересован в систематическом "выводе" этого заведомо сложного макроса, шаг за шагом! Любая помощь?

Ответы на вопрос(3)

Ваш ответ на вопрос