change to positive logic