not() function implemented