この定義必要なかった。