非公式ホロジュール、前のホロジュールより有能。当たり前か