ホーキングとは別件扱いだったのか