Create negation.py