On Lispを読んでいるのですが、関数型インターフェースのところで

各関数の呼び出しは、その呼び出し自身が支配するオブジェクトを
安全に書き換えることができる

という記述がああります

この、呼び出し自身が支配するオブジェクトとはどのようなことなのでしょうか？

続く文章で、関数呼び出しの返り値として受けとるオブジェクトは支配する
-> 書き換えても良い（安全に）

引数として渡されるオブジェクトは支配しない
->書き換えてはいけない（でも既に渡しちゃっているんでは？）

ということなのでしょうか？