LTLの話は小規模インスタンスと大規模インスタンスでは全く異なる性質を持つので、同様のモノとして話すのは失敗する