なぜあの定義でよいのか?