>>833
機能性論理だからね、都合の悪いことは抜け落ちるらしい