 The macro gets the source it surrounds as arguments, binds them to its parameters and computes a new source form.This new form can also use a macro.The macro expansion is repeated until the new source form does not use a macro.