同値撤退マイナスじゃねーの?