それ(LTLだけになっちゃう問題)はなんというか同意ではあるけど、ただしそれの解消は啓蒙ではなくソフトウェアのデザインによって誘導しないと無理かも＞＜