Proper use of not