再帰関数には、Lispインタプリタに対し、自身と全く同じように動作するが、引数がわずかに異なるプログラムを呼び出すよう指示するコードが含まれています。そのコードは名前が同じであるため、全く同じように動作します。しかし、プログラムの名前が同じであっても、それは同一の実体ではありません。別物なのです。専門用語で言えば、それは別の「インスタンス」ということになります。
最終的に、プログラムが正しく記述されていれば、わずかに異なる引数は最初の引数とは十分に異なるものとなり、最後のインスタンスが停止します。