LTLユーザーのアンチ化が心配