領域Dは俺が勝手に定義していいということかい?