局所の否定だけでは広過ぎる