排除の論理はいけないんじゃなかったっけ?