うーん、全インスタンスのLTLに出したいと言われると、確かに納得するけど、そこまでして出したい内容が思いつかない。想像する内容は、多数ブロックされるのを覚悟しての行動とも言えそう。