LTLの立ち位置って難しいな。よろずインスタンスとテーマインスタンスで、また性質が変わってきそう。個人的には同じインスタンスだけどみんな元気かなって見るところ。