経営統合なので、それぞれの事業会社の名前は変わらないだろうけど、上の持ち株会社のホールディングスの方がどうなるのか的な。