Title: The semantics of negation