空リストかどうかを調べる。空リストを一つ増やす。空リストを一つ少なくする。m)))]))足し算を定義する。条件を満たさない(たしかにその通りだが、、、)。タイトルの「影法師」が何の比喩なのかは分からず...。年宇宙の旅』のボーマン船長のセリフらしい。いえばそんなセリフもあったな。l)))]))アトムとリストの両者を含むリストから特定のアトムを削除する関数。式のリストから、特定のアトムを削除する関数ともいえる。なっているところがポイント。リストであることが保障されている。式のリスト内の任意のアトムの右側にアトムを挿入する関数。