Понимание того, как реализовать один раз-только макрос Лиспа

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

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

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