LTLオンリーだと、それは果たしてオープンな場所でやる必要があるのか？という問題も持ち上がってくるのがなぁ