'Not' implementation