Corrected not operator