In that view, variables must be re­named to match the mechanisms of lexical scope as macro expan­sion proceeds.
all of these benefits reflect the way that scope sets are precise enough for specification but abstract enough to allow high-level reasoning.