On the Syntax of Negation