「すごいErlangゆかいに学ぼう」の 「12.3 プロセスに名前を付ける」にある表についての疑問

linkmon.erl

judge2(Band, Album) ->
        critic ! {self(), {Band, Album}},
        Pid = whereis(critic),
        receive
            {Pid, Criticism} -> Criticism
        after 2000 ->
timeout end.

table.md

すごいErlangゆかいに学ぼう の 12.3 プロセスに名前を付けるにある表についての疑問

judge2 を実行すると，

メインプロセス	criticプロセス
1. critic ! Message
	2. criticがreceive
	3. criticが応答
	4. criticが死亡
5. whereisが失敗
	6. criticが再開される
7. コードがクラッシュ

のようになることがあると記述されています．

しかしwhereis/1 によると名前が登録されていないときは単に undefined を返すだけなので，whereisが失敗することはなく

メインプロセス	criticプロセス
1. critic ! Message
	2. criticがreceive
	3. criticが応答
	4. criticが死亡
5. whereisがundefinedを返す
	6. criticが再開される
7. pidとundefinedを比較して決してマッチしない

になるのではないかという疑問です．