定義の終わり。