「あることAをする」は、「他の選択肢¬Aをしない」こと