Bottom-Up vs Top-Down Macroexpansion

What if we macroexpand depth-first? Don't you think that macros get more powerful?

>>9
You wouldn't ask that question if you'd ever used Lisp. You've got a stack of macro calling macro calling macro, and when the resulting code doesn't compile, you need to know which of that stack of macros stinked up the room.