Text this: The logical form of negation :