Proper not operator used