根拠はトートロジーっぽい文を外すべきなんだろうな