Unary and binary "not" implemented