しかし、hoモデルの仮定の下では特化は不可能である。