インスタンスを転々とすれば良いという発言で、連合はたぶん意識できてないしLTLまでしか見えてないだろうなぁ。