Perhaps...I don't use Not. But sometimes things don't behave as they ought so defensive programming is useful:

```
>>> Not((x,y))
Not((x, y))
>>> Not(x, y)
Traceback (most recent call last):
```

Regarding True and False...I don't know. You would have to consult the code to see how `literal_symbol` is being used.