むしろfrozenでない場合を考えて、常に大丈夫な現状の形になってるってこともあるかもですね。